Moshe Y. Vardi (auth.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 7.47 MB

0 / 0

english, 1998

2

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 2.87 MB

0 / 0

english, 1994

3

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 5.46 MB

0 / 0

english, 2002

4

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 4.05 MB

0 / 0

english, 1995

5

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.63 MB

0 / 0

english, 2002

6

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

წელი:

1995

ენა:

english

ფაილი:

PDF, 6.92 MB

0 / 0

english, 1995

7

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 4.55 MB

0 / 0

english, 2001

8

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 4.08 MB

0 / 0

english, 2003

9

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Springer-Verlag Berlin Heidelberg

Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

წელი:

1984

ენა:

english

ფაილი:

PDF, 16.44 MB

0 / 0

english, 1984

10

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Springer-Verlag Berlin Heidelberg

Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

წელი:

1984

ენა:

english

ფაილი:

DJVU, 5.65 MB

0 / 0

english, 1984

11

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.92 MB

0 / 0

english, 2005

12

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)

წელი:

1998

ენა:

english

ფაილი:

DJVU, 5.51 MB

0 / 0

english, 1998

13

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

წელი:

2005

ენა:

english

ფაილი:

DJVU, 4.19 MB

0 / 0

english, 2005